Membrane geometry with auxiliary variables and quadratic constraints
نویسندگان
چکیده
منابع مشابه
Membrane geometry with auxiliary variables and quadratic constraints
Consider a surface described by a Hamiltonian which depends only on the metric and extrinsic curvature induced on the surface. The metric and the curvature, along with the basis vectors which connect them to the embedding functions defining the surface, are introduced as auxiliary variables by adding appropriate constraints, all of them quadratic. The response of the Hamiltonian to a deformatio...
متن کاملUsing auxiliary variables and implied constraints to model non - binaryproblemsBarbara
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction problems called problems of distance. This class of problems include 1-d, 2-d and circular Golomb rulers. We identify a large number of diierent models, both binary and non-binary, and compare theoretically the level of c...
متن کاملConstraints with Variables' Annotations Constraints with Variables' Annotations
Variables' annotations in over-constrained problems are proposed and described in order to express preferences for optimal solution selection using preferences on variables. The basic interpretation of variables' annotations is presented and correspondence with hierarchical CSP and possibilistic CSP is described. An algorithm for solving systems of constraints with variables' annotations using ...
متن کاملAuxiliary Variables and Recursive Procedures
Much research in axiomatic semantics suuers from a lack of formality. In particular, most proposed veriication calculi for imperative programs dealing with recursive procedures are known to be unsound or incomplete. Focussing on total correctness, we present a new consequence rule which yields a sound and complete Hoare-style calculus in the presence of parameterless recursive procedures. Both,...
متن کاملAuxiliary Variables in TLA+
Auxiliary variables are often needed for verifying that an implementation is correct with respect to a higher-level specification. They augment the formal description of the implementation without changing its semantics—that is, the set of behaviors that it describes. This paper explains rules for adding history, prophecy, and stuttering variables to TLA specifications, ensuring that the augmen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics A: Mathematical and General
سال: 2004
ISSN: 0305-4470,1361-6447
DOI: 10.1088/0305-4470/37/28/l02